<
language> A
high-level language for programming {Turing
Machines} by
Donald Knuth. It was the subject of the first
construction of a nontrivial
attribute grammar.
[
"Semantics of Context-Free Languages", D. Knuth, Math Sys Thy
2:127-145 (1975)].
(1995-10-08)